Incorporating User Interaction into Imperative Languages
نویسنده
چکیده
Abstract: Adding versatile interactions to imperative programming – C, Java and Android – is an essential task. Unfortunately, existing languages provide little constructs for user interaction. We propose a computability-logical approach [1] to user interaction. We illustrate our idea via C, an extension of the core C with a new choice statement. keywords: user interaction, choose, computability logic.
منابع مشابه
Graphical User Interfaces in Haskell
Introduction Programming languages may be broadly divided into two classes; imperative and functional. The languages typically used in business environments, such as Java and C++, are imperative; a program consists of a series of statements that perform IO, or operate on the data in the computer’s store. Functional languages, on the other hand, such as Haskell and ML, are declarative; the progr...
متن کاملBounded-Choice Statements for User Interaction in Imperative and Object-Oriented Programming
Adding versatile interactions to imperative programming – C, Java and Android – is an essential task. Unfortunately, existing languages provide only limited constructs for user interaction. These constructs are usually in the form of unbounded quantification. For example, existing languages can take the keyboard input from the user only via the read(x)/scan(x) statement. Note that the value of ...
متن کاملEucalyptus: Integrating Natural Language Input with a Graphical User Interface
This report describes Eucalyptus, a natural language (NL) interface that has been integrated with the graphical user interface of the KOALAS Test Planning Tool, a simulated Naval air combat command system. The multimodal, multimedia interface handles both imperative commands and database queries (either typed or spoken into a microphone) while still allowing full use of the original graphical i...
متن کاملCombining SVG and models of interaction to build graphically rich user experiences
IntuiLab designs highly interactive UIs that often feature multimodal capacities: gesture recognition, speech recognition, etc. We have started to use SVG for the graphical modality at the core of our UI programming environment: IntuiKit. Our portfolio includes UIs with high−end graphics for Air−Traffic control centers, in−car systems and for e−government services. Using SVG has lead us to impr...
متن کاملMalloc Pointers and Stable Pointers: Improving Haskell's Foreign Language Interface
The Glasgow Haskell compiler provides a foreign language interface which allows Haskell programs to call arbitrary C functions. This has been used both to implement the standard Haskell IO system and a variety of applications including an arcade game 8], and a graphical user interface to a database 19]. The theoretical problems associated with using impure functions from pure functional languag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1508.03837 شماره
صفحات -
تاریخ انتشار 2015